let succ x = x + 1 in
  (succ 3)
;;
